Computer languages

Results: 15814



#Item
451Theoretical computer science / Formal methods / Computability theory / Functional languages / Logic in computer science / Satisfiability modulo theories / Factorial / ML / Recursion / Lambda calculus / System F

From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2016-07-04 02:54:41
452Markup languages / Functional languages / Computer file formats / Technical communication / Synchronized Multimedia Integration Language / Query languages / XHTML+SMIL / Declarative programming / Programming language / JavaScript / XPath / Domain-specific language

Behavioral Reactivity and Real Time Programming in XML Functional Programming meets SMIL Animation Patrick Schmitz Simon Thompson

Add to Reading List

Source URL: www.ludicrum.org

Language: English - Date: 2004-10-26 03:04:07
453Computational linguistics / Grammar / Semantics / Formal languages / Natural language parsing / Dependency grammar / Parsing / Argument / Natural language processing / Semantic role labeling / Word-sense disambiguation / Free variables and bound variables

Unsupervised Semantic Parsing Hoifung Poon Pedro Domingos Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A.

Add to Reading List

Source URL: twiki.di.uniroma1.it

Language: English - Date: 2013-03-28 13:13:45
454Visual programming languages / Visual effects / 3D computer graphics / Humancomputer interaction / Video game development / AgentSheets / End-user development / 3D modeling / Game engine / Agent-based model / Logo

AgentCubes Incremental 3D end-user development

Add to Reading List

Source URL: www.cs.colorado.edu

Language: English - Date: 2009-05-30 11:28:08
455Visualization / Computational science / Computer graphics / Infographics / Vector graphics markup languages / Pfizer / Eurographics / Data visualization / SageMath / Image file formats / Information visualization

Curriculum Vitae of Peter R. Bono, Ph.D. Peter R. Bono Associates, Inc., P.O. Box 705, Yarmouth Port, MATel: +CURRENT CONSULTING CONTRACTS

Add to Reading List

Source URL: www.prba.com

Language: English - Date: 2010-02-02 10:46:35
456Markup languages / Technical communication / ISO standards / Computer file formats / XML schema / EXist / Standard Generalized Markup Language / XSLT / VTD-XML / XML retrieval

An Investigation of XML-technologies for Infrastructures for Web-based Virtual Courses Claus Pahl Dublin City University School of Computer Applications Dublin 9, IRELAND

Add to Reading List

Source URL: www10.org

Language: English - Date: 2001-02-06 23:07:42
457Web services / Internet protocols / Markup languages / Computer file formats / Open formats / Invoice / Hypertext Transfer Protocol / Web Services Description Language / SOAP / HTML element

BIC Realtime Retrieve Financial Document List Request and Response Book Industry Communication BIC Realtime

Add to Reading List

Source URL: www.bic.org.uk

Language: English - Date: 2016-03-23 12:40:43
458Markup languages / XML Schema / Computer file formats / Technical communication / JSON / Turkish Radio and Television Corporation / Token

Test Results Data Dictionary and Logical Data Model – Updated 25 May 2016 Introduction This Data Dictionary and Logical Data Model define all data elements involved in Smarter Balanced test results whether in a transmi

Add to Reading List

Source URL: www.smarterapp.org

Language: English - Date: 2016-08-16 13:10:54
459Sorting algorithms / Object-oriented programming languages / Theoretical computer science / Functional languages / Quicksort / Science / Scala / Algorithm / Recursion / Sort / Merge sort / D

Similarity in Computer Programs Concretely, recall the SCO vs. IBM lawsuits from a few years back (see, e.g., Raymond and LandleyAt issue was whether IBM, a licensee of some of SCO!s source Abstract

Add to Reading List

Source URL: philosopher-animal.com

Language: English - Date: 2007-03-02 08:19:53
460Applied linguistics / Corpus linguistics / Text corpus / British National Corpus / International Corpus of English / Corpus manager / Parallel text / Computational linguistics / Linguistics / Corpora in Translation Studies / International Computer Archive of Modern and Medieval English

František Čermák The Case of The Czech National Corpus: Its Design and Development In: Gozdz-Roszkowski, S. ed., Explorations across Languages and Corpora , P. Lang Frankfurt 2011, 29-44

Add to Reading List

Source URL: ucnk.ff.cuni.cz

Language: English
UPDATE